Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules

Runtime verification of programs using rule-based active system

TriGS Debugger - A Tool for Debugging Active Database Behavior

Active database systems have been developed since several years and represent a powerful means to respond automatically to events that are taking place inside or outside the database. However, one of the main stumbling blocks for their widespread use is the lack of proper tools for the verification of active database behavior. This paper copes with this need by presenting TriGS Debugger, a tool...

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy

ions and Pattern Databases: The Quest for Succinctness and Accuracy Sebastian Kupferschmid and Martin Wehrle University of Freiburg Department of Computer Science Freiburg, Germany {kupfersc,mwehrle}@informatik.uni-freiburg.de Abstract. Directed model checking is a well-established technique for detecting error states in concurrent systems efficiently. As error traces are important for debuggin...

Visual Active Rule Language

This paper introduces a visual language for active database systems. We present a new approach to database programming based on visual active language that allows us to describe active rules in a graphical way. The resulting visual language can be transformed into a textual one. In addition, an active system can be represented with several di erent graphs showing the interactions of rules and t...

Visual Rule Language for ActiveDatabase

This paper introduces a visual language for active database systems. We present a new approach to database programming based on visual active language that allows us to describe active rules in a graphical way. The resulting visual language can be transformed into a textual one. In addition, an active system can be represented with several diierent graphs showing the interactions of rules and t...